Using Constraint Programming to Verify DOPLER Variability Models

Software product lines are typically developed using model-based approaches. Models are used to guide and automate key activities such as the derivation of products. The verification of product line models is thus essential to ensure the consistency of the derived products. While many authors have proposed approaches for verifying feature models there is so far no such approach for decision models. We discuss challenges of analyzing and verifying decision-oriented DOPLER variability models. The manual verification of these models is an error-prone, tedious, and sometimes infeasible task. We present a preliminary approach that converts DOPLER variability models into constraint programs to support their verification. We assess the feasibility of our approach by identifying defects in two existing variability models

Why we fail: mechanisms and co-factors of unsuccessful thrombectomy in acute ischemic stroke

Purpose Mechanical thrombectomy (MT) is an effective treatment for patients suffering from acute ischemic stroke. However, recanalization fails in about 16.5% of interventions. We report our experience with unsuccessful MT and analyze technical reasons plus patient-related parameters for failure. Methods Five hundred ninety-six patients with acute ischemic stroke in the anterior circulation and intention to perform MT with an aspiration catheter and/or stent retriever were analyzed. Failure was defined as 0, 1, or 2a on the mTICI scale. Patients with failing MT were analyzed for interventional progress and compared to patients with successful intervention, whereby parameters included demographics, medical history, stroke presentation, and treatment. Results One hundred of the 596 (16.8%) interventions failed. In 20 cases, thrombus could not be accessed or passed with the device. Peripheral arterial occlusive disease is common in those patients. In 80 patients, true stent retriever failure occurred. In this group, coagulation disorders are associated with poor results, whereas atrial fibrillation is associated with success. The administration of intravenous thrombolysis and intake of nitric oxide donors are associated with recanalization success. Intervention duration was significantly longer in the failing group. Conclusion In 20% of failing MT, thrombus cannot be reached/passed. Direct carotid puncture or surgical arterial access could be considered in these cases. In 80% of failing interventions, thrombus can be passed with the device, but the occluded vessel cannot be recanalized. Rescue techniques can be an option. Development of new devices and techniques is necessary to improve recanalization rates. Assessment of pre-existing illness could sensitize for occurring complications

Philosophisches Denken über Krieg und Frieden: Umwälzende Einsichten an der Militärakademie und ihr Fortwirken in der Dresdener Studiengemeinschaft Sicherheitspolitik e. V.: Beiträge zum Kolloquium am 13. September 2005

Neues Denken in der DDR und zum Projekt neuer Sicherheitspolitik in der militärakademischen Forschung; Vielfältige Fortsetzung der Idee in der Dresdener Studiengemeinschaft Sicherheitspolitik e. V.; Widerspiegelung in der Bundeswehr; Friedensfähigkeit und Epocheverständnis.:Eröffnung Wolfgang Scheler, In memoriam Prof. Dr. Rolf Lehmann. Autorenbeiträge: Wolfgang Scheler, Philosophisches Denken über Krieg und Frieden - damals und jetzt. Hermann Hagena, Reflexionen des neuen Denkens in der Bundeswehr. Hermann Schierz, Neues Denken über Krieg und Frieden an der Offiziershochschule der LSK/LV und in der Öffentlichkeitsarbeit. Hans Süß, Neues Denken und Militärreform. Paul Heider, Neues Denken über Krieg und Frieden und das Militärgeschichtliche Institut der DDR. Ernst Woit, Friedensphilosophie und Epocheverständnis. Horst Großmann, Geopolitische Bedingungen für Krieg und Frieden. Lothar Glaß, Ideelle Bedingungen des Friedens. Eberhard Arnold, Anmerkungen zum Problemkreis ´Bedrohung´. Publikationen zum Thema des Kolloquiums (Auswahl)

Anaerobic Microbial Degradation of Hydrocarbons: From Enzymatic Reactions to the Environment

Hydrocarbons are abundant in anoxic environments and pose biochemical challenges to their anaerobic degradation by microorganisms. Within the framework of the Priority Program 1319, investigations funded by the Deutsche Forschungsgemeinschaft on the anaerobic microbial degradation of hydrocarbons ranged from isolation and enrichment of hitherto unknown hydrocarbon-degrading anaerobic microorganisms, discovery of novel reactions, detailed studies of enzyme mechanisms and structures to process-oriented in situ studies. Selected highlights from this program are collected in this synopsis, with more detailed information provided by theme-focused reviews of the special topic issue on 'Anaerobic biodegradation of hydrocarbons' [this issue, pp. 1-244]. The interdisciplinary character of the program, involving microbiologists, biochemists, organic chemists and environmental scientists, is best exemplified by the studies on alkyl-/arylalkylsuccinate synthases. Here, research topics ranged from in-depth mechanistic studies of archetypical toluene-activating benzylsuccinate synthase, substrate-specific phylogenetic clustering of alkyl-/arylalkylsuccinate synthases (toluene plus xylenes, p-cymene, p-cresol, 2-methylnaphthalene, n-alkanes), stereochemical and co-metabolic insights into n-alkane-activating (methylalkyl) succinate synthases to the discovery of bacterial groups previously unknown to possess alkyl-/arylalkylsuccinate synthases by means of functional gene markers and in situ field studies enabled by state-of-the-art stable isotope probing and fractionation approaches. Other topics are Mo-cofactor-dependent dehydrogenases performing O-2-independent hydroxylation of hydrocarbons and alkyl side chains (ethylbenzene, p-cymene, cholesterol, n-hexadecane), degradation of p-alkylated benzoates and toluenes, glycyl radical-bearing 4-hydroxyphenylacetate decarboxylase, novel types of carboxylation reactions (for acetophenone, acetone, and potentially also benzene and naphthalene), W-cofactor-containing enzymes for reductive dearomatization of benzoyl-CoA (class II benzoyl-CoA reductase) in obligate anaerobes and addition of water to acetylene, fermentative formation of cyclohexanecarboxylate from benzoate, and methanogenic degradation of hydrocarbons

The IMiD target CRBN determines HSP90 activity toward transmembrane proteins essential in multiple myeloma

The complex architecture of transmembrane proteins requires quality control (QC) of folding, membrane positioning, and trafficking as prerequisites for cellular homeostasis and intercellular communication. However, it has remained unclear whether transmembrane protein-specific QC hubs exist. Here we identify cereblon (CRBN), the target of immunomodulatory drugs (IMiDs), as a co-chaperone that specifically determines chaperone activity of HSP90 toward transmembrane proteins by means of counteracting AHA1. This function is abrogated by IMiDs, which disrupt the interaction of CRBN with HSP90. Among the multiple transmembrane protein clients of CRBN-AHA1-HSP90 revealed by cell surface proteomics, we identify the amino acid transporter LAT1/CD98hc as a determinant of IMiD activity in multiple myeloma (MM) and present an Anticalin-based CD98hc radiopharmaceutical for MM radio-theranostics. These data establish the CRBN-AHA1-HSP90 axis in the biogenesis of transmembrane proteins, link IMiD activity to tumor metabolism, and nominate CD98hc and LAT1 as attractive diagnostic and therapeutic targets in MM

BacHBerry: BACterial Hosts for production of Bioactive phenolics from bERRY fruits

BACterial Hosts for production of Bioactive phenolics from bERRY fruits (BacHBerry) was a 3-year project funded by the Seventh Framework Programme (FP7) of the European Union that ran between November 2013 and October 2016. The overall aim of the project was to establish a sustainable and economically-feasible strategy for the production of novel high-value phenolic compounds isolated from berry fruits using bacterial platforms. The project aimed at covering all stages of the discovery and pre-commercialization process, including berry collection, screening and characterization of their bioactive components, identification and functional characterization of the corresponding biosynthetic pathways, and construction of Gram-positive bacterial cell factories producing phenolic compounds. Further activities included optimization of polyphenol extraction methods from bacterial cultures, scale-up of production by fermentation up to pilot scale, as well as societal and economic analyses of the processes. This review article summarizes some of the key findings obtained throughout the duration of the project

Wolfgangi Heideri M. ... Orationum volumen ...

WOLFGANGI HEIDERI M. ... ORATIONUM VOLUMEN ... Wolfgangi Heideri M. ... Orationum volumen ... Orationum volumen ... (2

Oratio In Illustrissimi, & Celsiss. Principis ac Domini Dn. Johannis Philippi, Ducis Saxoniae ... honorem, cum felicissimis auspiciis rem adiret publicam ...

scripta, & in Academia Ienensi die 14. Aprilis ... 1618. recitata. a Wolfgango Heidero M

Parentaliorum Illustrißimi Principis ac Domini, Dn. Johannis, Ducis Saxoniae, Landgravii Thuringiae, Marchionis Misniae, Felicissimae Recordationis, Oratio I. De Maioribus Defuncti Principis : Publice recitata Ienae, die XXII. Maii, A.O.R. MDCX.

A Wolfgango Heidero M. Ethices & Politices Profess. publicoIn: Heider, Wolfgang: Orationes Parentales Numero quinq[ue] De Vita Et Morte Illustrissimi ... Dn. Johannis, Ducis Saxoniae ... - 1616Signaturformel: A-z4, Aa-Ll

Orationum volumen ...

ORATIONUM VOLUMEN ... Wolfgangi Heideri M. ... Orationum volumen ... (-) Orationum volumen ... (2) ([1]) Einband ( - ) Titelseite ([1]) Oratio I. (1) Oratio II. (42) Oratio III. (100) Oratio IV. (135) Oratio V. (186) Oratio VI. (235) Oratio VII. (289) Oratio IIX. (340) Oratio IX. (393) Oratio X. (452) Oratio XI. (499) Oratio XII. (529) Oratio XIII. (569) Oratio XIV. (595) Oratio XV. (630) Oratio XVI. (668) Oratio XVII: Oratio Prima. De Proverbio: Heroum Filii noxae (729) Oratio XVIII: Oratio Secunda (761) Oratio XIX: Oratio I. De Vulpeculis Scholasticis. (783) Oratio XX: Oratio Secunda. (825) Oratio XXI: Oratio De Philosophiae Politicae Dignitate et neceßitate ... (870) Oratio XXII: Oratio De Martino Luthero ... (922) Oratio XXIII: Carmen Seculare recitatum Jenae die 7. Novembris Anno 1617 (975) Oratio XXIV: Oratio Finem Imponens Inaugurationi Illustris Gymnasii Casimiriani ... (1022) Oratio XXV: Oratio Prima De Thuringia. (1064) Oratio XXVI: Oratio II. De Thuringis (1105) Oratio XXVII: Oratio III. De Thuringia (1147) Oratio XXVIII: Oratio IV. De Thuringia (1180